and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
111	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
112	Dataflow in Practice: Transparent Dataflow Programming Model for Multicore and Many-core Add to Reading List Source URL: bmdfm.de Language: English - Date: 2015-02-13 17:40:59 Computer architecture Parallel computing Models of computation Programming paradigms Computer data Dataflow BMDFM Multi-core processor Oz Computing Concurrent computing Software engineering
113	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
114	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.eganfamily.id.au Language: English - Date: 2007-09-25 10:08:39 Computer architecture Reconfigurable computing Models of computation Digital electronics Field-programmable gate array Programming paradigms Parallel computing Dataflow Hardware description language Electronic engineering Computing Electronics
115	Dataflow in Practice: Transparent Dataflow Programming Model for Multicore and Many-core Add to Reading List Source URL: bmdfm.com Language: English - Date: 2015-02-13 17:40:59 Computer architecture Parallel computing Models of computation Programming paradigms Computer data Dataflow BMDFM Multi-core processor Oz Computing Concurrent computing Software engineering
116	Post-publication version of “Aaron Sloman develops a distinctive view of – Virtual Machinery and Evolution of Mind (Part 1)” pages[removed]In Alan Turing - His Work and Impact, eds S. B. Cooper & J. van Leeuwen, Els Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-09-07 19:32:51 Turing machine Models of computation Computability theory Alan Turing Virtual machine Turing completeness VM Computability Programming language Theoretical computer science Computer science Theory of computation
117	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
118	Hidden Markov Models: All the Glorious Gory Details Noah A. Smith Department of Computer Science Johns Hopkins University [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-11-30 01:37:48 Probability Viterbi algorithm Hidden Markov model Markov chain Forward–backward algorithm Dynamic programming Baum–Welch algorithm Expected value Markov models Statistics Probability and statistics
119	HTTP-based Adaptive Streaming for Mobile Clients using Markov Decision Process Ayub Bokani, Mahbub Hassan, Salil Kanhere School of Computer Science and Engineering, The University of New South Wales, Sydney 2052 NSW, Aus Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-01-23 18:55:11 Markov models Multimedia Dynamic programming Markov decision process Stochastic control Reinforcement learning Respect Streaming media Statistics Control theory Concurrent computing
120	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory

UPDATE